F1[coscos]

由函数构成的数列的极限 -
首先：1<=f_n(x)<=1,得到0<=f_n(x)<=cos1,n>=2,故有界；其次证明单增，这有点麻烦，先证明：当0<=x<=cos1时，cosx>x这个命题，令F(x)=cosx-x,F'(x)=sinx-1<0,故F(x)单减，F(cos1)=coscos1-cos1>0,(cos1<1,cosx为减函数)，则F(x)在0<=x<=cos1大于0.即当0后面会介绍。
三角函数公式有积化和差公式、和差化积公式、三倍角公式、正弦二倍角公式、余弦二倍角公式、余弦定理等。1积化和差公式。sinα·cosβ=(1/2)*[sin(α+β)+sin(α-β)]；cosα·sinβ=(1/2)*[sin(α+β)-sin(α-β)];cosα·cosβ=(1/2)*[cos(α+β)+cos(α-β)];sinα·后面会介绍。